Das Nürnberger Anti-Phishing-Device: Beweisbare Korrektheit durch Einfachheit

نویسنده

  • Peter Trommler
چکیده

Angriffe gegen das Online-Banking richten sich meist gegen den Rechner des Benutzers, sodass externe Geräte zum Schutz von Transaktionen verwendet werden. In diesem Beitrag wird das Nürnberger AntiPhishing Device vorgestellt, das eine sichere Umgebung für die Erstellung digital unterschriebender Transaktionszusammenfassungen umsetzt. Durch die Beschränkung der Funktionalität auf des minimal Notwendige, ist eine formale Verifikation der Software möglich.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formvariables Oberflächenmodell zur Segmentierung pathologischer Kniegelenke aus medizinischen Bilddaten

Zusammenfassung. Effizienz, Vergleichbarkeit und Einfachheit sind Hauptaspekte für eine langfristige Benutzerakzeptanz von chirurgischen Planungssystemen. Automatische Segmentierung und Identifizierung von Referenzgeometrien von anatomischen Strukturen sind eine Voraussetzung, um diese zukünftigen Anforderungen zu erfüllen. Auf Basis von 235 Oberflächengeometrien gesunder und degenerierter Knie...

متن کامل

Secure Web Services für ambiente eingebettete Systeme

„Der technische Fortschritt hat den Menschen nicht nur eine bequeme stets zugängliche Welt zum Konsum eröffnet, er hat auch Raum für Kriminelle gelassen, die auch die kleinsten Schlupflöcher ausnutzen“ – FBI Special Agent DAPHNE HEARN • Steigende Komplexität der Systeme  Steigende Komplexität der Angriffe • Beispiele: • Phishing beim Onlinebanking • USA: Durch Schwachstelle konnten Täter das V...

متن کامل

Modellbasierter Komponententest mit visuellen Kontrakten

Das Verhalten von quasimodalen Klassen ist abhängig von dem Systemzustand, in dem sie ausgeführt werden. Beim Testen von quasimodalen Klassen muss der Systemzustand so gesetzt werden, damit die zu testende Klasse ausgeführt werden kann. Nach der Testausführung müssen die Änderungen im Systemzustand evaluiert und so die Korrektheit des Verhaltens der Klasse gegenüber ihrer Spezifikation geprüft ...

متن کامل

Stellungnahme der Jury für die Morpholympics 94

Mit der ersten Morpholympics wurde hinsichtlich der Bewertung linguistischer Softwaretools sowohl bei den Testmaterialien als auch bei den Bewertungskriterien Neuland betreten. Wie bei einer Olympiade sollte sich die Jury für ein Siegersystem entscheiden, gegebenenfalls ein oder zwei weitere Systeme auf weiteren Siegerplätzen rangieren. Anders aber als im sportlichen Bereich stehen bei linguist...

متن کامل

Professionelles Testmanagement in Datenreinigungsprozessen

In diesem Beitrag wird das Testmanagement bei Maßnahmen zur Qualitätsverbesserung in Datenbeständen behandelt. Hierbei fließen vorwiegend Erfahrungen aus Projekten bei Erstund Rückversicherungen, Rentenversicherungsträgern und in der öffentlichen Verwaltung ein. Dies sind Bereiche, in denen die Speicherung und Verfügbarkeit der Daten aus vielen Jahrzehnten notwendig ist. Naturgemäß werden diese...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Softwaretechnik-Trends

دوره 36  شماره 

صفحات  -

تاریخ انتشار 2016